Search
Feedback
About
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Book
ISBN: 3528083816 Year: 1977 Publisher: Braunschweig Vieweg
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Machine theory --- Recursion theory --- 510.5 --- Logic, Symbolic and mathematical --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- 510.5 Algorithms. Computable functions --- Algorithms. Computable functions --- Didactics of mathematics
Book
ISBN: 9783486718966 3486718967 9783486714043 Year: 2012 Publisher: Berlin ; Boston : Oldenbourg Wissenschaftsverlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Dieses Lehrbuch bietet eine prägnante und leicht verständliche Einführung in die Gebiete Formale Sprachen und Automatentheorie für das Informatik-Grundstudium an Fachhochschulen und Universitäten. Die behandelten Themen Formale Sprachen, Grammatikformalismen, endliche Automaten, Kellerautomaten und Turingmaschinen bilden die zentralen Grundlagen für das Verständnis wichtiger Informatikkonzepte wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache, d.h. für die Formalisierung und algorithmische Behandlung von Problemen, die durch den Computer gelöst werden. Ein neuer Abschnitt ist der aktuellen Technologie XML gewidmet und gibt insbesondere einen ersten Einblick in XML-Schemata, dem neuen Spezifikationsstandard für XML-Dokumente.
Computer science. --- Formal languages. --- Machine theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Formalization (Linguistics) --- Language and languages --- Machine theory --- Informatics --- Science
Book
ISBN: 9630505096 9789630505093 Year: 1976 Publisher: Budapest : Akademiai Kiado,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Recursive Functions --- Machine theory --- 510.6 --- Recursive functions --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Robotics --- Functions, Recursive --- Arithmetic --- Number theory --- Recursion theory --- Decidability (Mathematical logic) --- Mathematical logic --- Foundations --- Machine theory. --- Recursive functions. --- 510.6 Mathematical logic
| Listing 1 - 3 of 3 |
Sort by
|